• Distributed runtime verification by past-CTL and the field calculus 

      Audrito, Giorgio; Damiani, Ferruccio; Stolz, Volker; Torta, Gianluca; Viroli, Mirko (Peer reviewed; Journal article, 2022)
      Recent trends in the engineering of software-intensive systems increasingly promote the adoption of computation at the edge of the network, in the proximity of where sensing and actuation are performed. Applications are ...